Value Flow Graph Analysis with SATIrE
نویسنده
چکیده
This work discusses implementation of partial redundancy elimination using the value flow graph, a syntactic program representation modeling semantic equivalences. It allows the combination of simple syntactic partial redundancy elimination with a powerful semantic analysis. This yields an optimization that is computationally optimal and simpler than traditional semantic methods. A source-to-source optimizer for C++ programs was implemented using the SATIrE program analysis and transformation system. Two tools integrated in SATIrE were used in the implementation: ROSE is a framework for arbitrary analyses and source-to-source transformations of C++ programs, PAG is a tool for generating data flow analyzers from functional specifications.
منابع مشابه
Augmenting Programs with Analysis Results∗
In this talk, we propose a new storage method for the results of a static program analysis. Instead of attaching the analysis results to the control-flow graph, we automatically transform the program into a augmented version that uses assert-statements to explicitly check the analyzed properties at runtime. This transformation opens up multiple applications: • Automatic testing of the analysis ...
متن کاملSATIrE within ALL-TIMES: Improving Timing Technology with Source Code Analysis
We present the SATIrE source-to-source analysis framework within the context of ALL-TIMES, a European research and development project aimed at improving and integrating existing tools in the area of timing analysis. Within the project, SATIrE contributes by performing source-level static analysis on C programs and exporting its results for other tools to use. This work gives an overview of SAT...
متن کاملPersistent Analysis Results 1
In this article we propose a new approach for storing the results of static program analyses to make them persistent and accessible for future use by both application programmers and tools. There are two key ideas. First, to attach the analysis results to the source code instead of the intermediate representation or the control-flow graph; we call this behaviour-carrying code. Second, to prepar...
متن کاملAnalysis of InGaAsP-InP Double Microring Resonator using Signal Flow Graph Method
The buried hetero-structure (BH) InGaAsP-InP waveguide is used for asystem of double microring resonators (DMR). The light transmission and location ofresonant peaks are determined for six different sets of ring radii with different ordermode numbers. The effect of changing middle coupling coefficient on the box likeresponse is studied. It is found that the surge of coupling coefficient to the ...
متن کاملSource-Level Support for Timing Analysis
Timing analysis is an important prerequisite for the design of embedded real-time systems. In order to get tight and safe bounds for the timing of a program, precise information about its control flow and data flow is needed. While actual timings can only be derived from the machine code, many of the supporting analyses (deriving timing-relevant data such as points-to and loop bound information...
متن کامل